A Representation for Complex Physical Domains

نویسندگان

  • Sanjaya Addanki
  • Ernest Davis
چکیده

We are exploring a system, called PROMPT, that wi l l be capable of reasoning from first principles and high level knowledge in complex, physical domains. Such problem-solving calls for a representation that wil l support the different analyses techniques required (e.g. differential, asymptotic, perturbation etc.). Efficiency considerations require that the representation also support heuristic control of reasoning techniques. This paper lays the ground work for our effort by briefly describing the ontology and the representation scheme of PROMPT. Our ontology allows reasoning about multiple pasts and different happenings in the same space-time. The ontology provides important distinctions between materials, objects, bulk and distributed abstractions among physical entities. We organise world knowledge into "prototypes" that are used to focus the reasoning process. Problem-solving involves reasoning with and modifying prototypes.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Deep Unsupervised Domain Adaptation for Image Classification via Low Rank Representation Learning

Domain adaptation is a powerful technique given a wide amount of labeled data from similar attributes in different domains. In real-world applications, there is a huge number of data but almost more of them are unlabeled. It is effective in image classification where it is expensive and time-consuming to obtain adequate label data. We propose a novel method named DALRRL, which consists of deep ...

متن کامل

Image Classification via Sparse Representation and Subspace Alignment

Image representation is a crucial problem in image processing where there exist many low-level representations of image, i.e., SIFT, HOG and so on. But there is a missing link across low-level and high-level semantic representations. In fact, traditional machine learning approaches, e.g., non-negative matrix factorization, sparse representation and principle component analysis are employed to d...

متن کامل

On the irreducibility of the complex specialization of the representation of the Hecke algebra of the complex reflection group $G_7$

We consider a 2-dimensional representation of the Hecke algebra $H(G_7, u)$, where $G_7$ is the complex reflection group and $u$ is the set of indeterminates $u = (x_1,x_2,y_1,y_2,y_3,z_1,z_2,z_3)$. After specializing the indetrminates to non zero complex numbers, we then determine a necessary and sufficient condition that guarantees the irreducibility of the complex specialization of the repre...

متن کامل

Effect of Historical Buildings Representation in Cyberspace in Creating Tourists’ Destination Image (Qualitative Study of Traditional Accommodations in Kashan)

Introduction: Understanding the representation components of the historical buildings in cyberspace and their impact on the mental image of the tourists is a significant fact in tourism recognition and management. A part of this subject is the impact of place representation on the destination image of the tourist. In this research, the destination is traditional accommodations that attract tour...

متن کامل

Operator Construction: A Compact, Maintainable Representation for Real World Planners

AI planners typically use a set of generalized operator descriptions as a representation of the possible domain actions. These operators are then selected and instantiated to accomplish particular task goals. However, in complex domains it may be difficult to enumerate all of the operators, many of which may contain redundant information. Adapting the planner to related domains or to changes in...

متن کامل

Composition operators between growth spaces‎ ‎on circular and strictly convex domains in complex Banach spaces‎

‎Let $\Omega_X$ be a bounded‎, ‎circular and strictly convex domain in a complex Banach space $X$‎, ‎and $\mathcal{H}(\Omega_X)$ be the space of all holomorphic functions from $\Omega_X$ to $\mathbb{C}$‎. ‎The growth space $\mathcal{A}^\nu(\Omega_X)$ consists of all $f\in\mathcal{H}(\Omega_X)$‎ ‎such that $$|f(x)|\leqslant C \nu(r_{\Omega_X}(x)),\quad x\in \Omega_X,$$‎ ‎for some constant $C>0$‎...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1985